integral of cos^2x